101. Perspectives on enclosure methods
المؤلف: Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer arithmetic.,Interval analysis (Mathematics)
رده :
QA76
.
9
.
C62
U475
9999
102. Proceedings of the International Conference on Artificial Neural Networks :
المؤلف: ICANN '93. Ed. by Stan Gielen ...
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
103. Programming in Modula-3 :
المؤلف: László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
104. PyTorch recipes :
المؤلف: Pradeepta Mishra.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine learning.,Neural networks (Computer science),Python (Computer program language),COMPUTERS-- General.,Machine learning.,Neural networks (Computer science),Python (Computer program language)
رده :
QA76
.
87
105. Reachability problems :
المؤلف: Igor Potapov, Pierre-Alain Reynier (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
106. Real-time processing of linear and nonlinear systems using CROSSCUT computer memory
المؤلف: M. Ashtijou
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Applied sciences,Computer science,Electrical engineering,Electrical engineering
107. Residue arithmetic & its applications to computer technology
المؤلف: SZABO,NICHOLAS S
المکتبة: (طهران)
موضوع: MODULAR ARITHMETIC , ALGORITHMS , PROGRAMMING )ELECTRONIC COMPUTERS(
رده :
QA
247
.
35
.
S95
108. Scientific Computation with Automatic Result Verification
المؤلف: edited by Ulrich Kulisch, Hans J. Stetter.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Microprogramming.
109. Scientific Software Systems
المؤلف: edited by J.C. Mason, M.G. Cox.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Science (General),Sciences -- General.
رده :
QA76
.
95
E358
1990
110. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. Sequential and parallel algorithms and data structures :
المؤلف: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
112. Signals & systems for dummies /
المؤلف: by Mark Wickert
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Signal processing.,System analysis.
رده :
TK5981
113. Software engineering in C
المؤلف: Peter A. Darnell, Philip E. Margolis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: C (Computer program language),Programmatuurtechniek.,Software engineering.
رده :
QA76
.
76
.
D47
P484
1988
114. Space-Filling Curve
المؤلف: / by Michael Bader
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Computer science,Algorithms,Electronic books
رده :
E-BOOK
115. Spectral Techniques in VLSI CAD
المؤلف: by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Electronic data processing.
رده :
TK7874
.
75
B965
2001
116. String processing and information retrieval :
المؤلف: edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
117. Symbolic Algebraic Methods and Verification Methods
المؤلف: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
118. Symbolic and Algebraic Computation :
المؤلف: edited by Edward W. Ng.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
119. System and architecture :
المؤلف: Sunil Kumar Muttoo, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
120. System-on-Chip Architectures and Implementations for Private-Key Data Encryption
المؤلف: by Máire McLoone, John V. McCanny.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Data structures (Computer science),Engineering.
رده :
QA76
.
9
.
A25
B963
2003
